p{-}graph($A$; $f$)($x$,$y$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$($\uparrow$can{-}apply($f$; $x$)) c$\wedge$ ($y$ = do{-}apply($f$; $x$))